منابع مشابه
Mitigating Smart Card Fault Injection with Link-Time Code Rewriting: A Feasibility Study
We present a feasibility study to protect smart card software against fault-injection attacks by means of binary code rewriting. We implemented a range of protection techniques in a link-time rewriter and evaluate and discuss the obtained coverage, the associated overhead and engineering effort, as well as its practical usability.
متن کاملEmbedding Formal Development into a Smart Card : The Java Card Byte Code verifier case study
The Java security policy is implemented by security components such as the Java Virtual Machine (JVM), the API, the verifier, the loader. It is of prime importance to ensure that the implementation of these components is in accordance with their specifications. Formal methods can be used to bring the mathematical proof that the implementation of these components corresponds to their specificati...
متن کاملSmart Card Content Security
Smart Cards are often touted as “secure” portable storage devices. A complete, high-level design metodology has been proposed for embedded information systems based on smart card devices. However, this metodology takes as granted that informations stored on the card will be really securely stored, and access control will be correctly maintained. Unfortunately, standards and specifications, crea...
متن کاملProxy Smart Card Systems
The established legal value of digital signatures and the growing availability of identity-based digital services are progressively extending the use of smart cards to all citizens, opening new challenging scenarios. Among them, motivated by concrete applications, secure and practical delegation of digital signatures is becoming more and more critical. Unfortunately, secure delegation systems p...
متن کاملSmart card abstract pdf
smart card abstract pdf Smart cards are used in information technologies as portable integrated.Abstract: While mobile handheld devices provide productivity benefits, they also pose. Paper describes two novel types of smart card with unconventional form factors. smart card abstract ppt Pdf.ABSTRACT Over the past few years, smart cards have achieved a growing acceptance as a powerful tool for se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Journal of Information Security
سال: 2015
ISSN: 1615-5262,1615-5270
DOI: 10.1007/s10207-015-0282-0